Canonical normal form

#	Item
21	An Introduction to Binary Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-10-04 19:51:22 Logic Propositional calculus Semantics Algebraic logic Formal methods Tautology Canonical form Truth table Conjunctive normal form Mathematics Mathematical logic Boolean algebra
22	PDF Document Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2002-02-05 00:07:06 Matrix theory Matrices Canonical form Logic Rank Matrix Determinant Frobenius normal form Theorems and definitions in linear algebra Algebra Mathematics Linear algebra